H. Craig Heller

Versions , Configurations , and Constraints in CEDB 1 H . Craig Howard

The architecture-engineering-construction (AEC) industry is highly fragmented, both vertically (between project phases, e.g., planning, design, and construction) and horizontally (between specialists for the various disciplines at a given project phase, e.g., design). We need software that detects, analyzes, and manages changes efficiently during concurrent distributed design processes. In the ...

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

Heller triangulated categories

Let E be a Frobenius category, let E denote its stable category. The shift functor on E induces a first shift functor on the category of acyclic complexes with entries in E by pointwise application. Shifting a complex by 3 positions yields a second shift functor on this category. Passing to the quotient modulo split acyclic complexes, Heller remarked that these two shift functors become isomorp...

Heller, Illusory Abiding.indd

T is a study of a Chan monk in his institutional, social, and cultural contexts. Zhongfeng Ming ben 中峰明本 (1263–1323) was among the most prominent monks of the Yuan 元 dynasty and an influential fij igure in Buddhist history. But he was also a signifij icant fij igure in the cultural life of the empire and a local saint who, during his lifetime, earned the epithet “Old Buddha of the South” ( Jian...